Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
991	Writing and checking complete proofs in TEX Bob Neveln Widener University Bob Alps Towers Perrin Add to Reading List Source URL: www.tug.org Language: English - Date: 2007-03-14 10:17:19 Formal systems Logical truth Proof theory Theorem Formal proof TeX Mathematical proof Syntax Mathematical logic Logic Logical syntax Formal languages
992	VOL. 2 NO. 3 SUMMER 2013 LISA M. RHODY, EDITOR JOAN FRAGASZY TROYANO, EDITOR STEPHANIE WESTCOTT, MANAGING EDITOR SASHA HOFFMAN, ASSOCIATE EDITOR JERI WIERINGA, ASSOCIATE EDITOR Add to Reading List Source URL: journalofdigitalhumanities.org Language: English - Date: 2013-12-17 10:13:57 Database management systems Database theory World Wide Web Formal sciences Emerging technologies Digital humanities Data analysis Geographic information system Linked data Technology Data management Science
993	REVIEW OF FORMAL INFORMATION TECHNOLOGY SOLICITATIONS Frequently Asked Questions In accordance with Chapter 404, Statutes of[removed]AB 2408), the Review of Formal Information Technology (IT) Solicitations Policy Letter 1 Add to Reading List Source URL: cio.ca.gov Language: English - Date: 2013-06-28 15:15:07 Systems engineering Request for proposal Invitation for bid Central Intelligence Agency Document Business Sales Statement of work
994	Microsoft Word - Software Developer III -_internet_[removed]with tech env. Add to Reading List Source URL: www.wcb.mb.ca Language: English - Date: 2014-04-01 10:59:57 Software engineering Systems engineering Software development Evaluation Quality assurance Rational Software Reliability engineering Software development process Science Formal methods Software quality
995	“Getting the Right Information” Improving Requirements Development & Management Add to Reading List Source URL: www.epa.gov Language: English - Date: 2009-12-18 15:50:52 Systems theory Science Software engineering Formal methods Business analysis Requirements analysis Requirement Business requirements Software development process Systems engineering Software requirements Systems science
996	“Getting the Right Information” Improving Requirements Development & Management Add to Reading List Source URL: www.epa.gov Language: English - Date: 2009-12-18 15:49:57 Systems theory Science Software engineering Formal methods Business analysis Requirements analysis Requirement Business requirements Software development process Systems engineering Software requirements Systems science
997	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: cbsa-asfc.gc.ca Language: English - Date: 2013-10-10 13:21:59 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
998	Microsoft Word - 1.TG.Eric.Schwartz.doc Add to Reading List Source URL: www.keckfutures.org Language: English - Date: 2009-07-10 16:29:36 Bioinformatics Systems biology Formal sciences Interactome Molecular biology Simulation Complexity Neuroinformatics European Bioinformatics Institute Science Biology Knowledge
999	THE USE OF LINGUISTIC HIERARCHIES IN SPEECH UNDERSTANDING1 Stephanie Seneff Spoken Language Systems Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA[removed]USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-03-29 09:21:08 Formal languages Natural language processing Phonology Grammar Parsing Speech recognition Speech synthesis Phonotactics Bottom-up parsing Linguistics Science Computational linguistics
1000	Clinical & Business Intelligence: Data Management – A Foundation for Analytics Data Storage April 2013 Introduction Data management for analytics is an end-to-end process, that is, it covers every step from the origina Add to Reading List Source URL: www.himss.org Language: English - Date: 2013-04-29 14:33:36 Business intelligence Database management systems Formal sciences Database theory Data warehouse appliance Big data Healthcare Information and Management Systems Society Netezza Database Data management Information technology management Technology

UPDATE